Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 edition. Exercises.

Bard Ermentrout is Professor of Computational Biology and Professor of Mathematics at the University of Pittsburgh. David Terman is Professor of Mathematics at the Ohio State University.

This book applies methods from nonlinear dynamics to problems in neuroscience. It uses modern mathematical approaches to understand patterns of neuronal activity seen in experiments and models of neuronal behavior. The intended audience is researchers interested in applying mathematics to important problems in neuroscience, and neuroscientists who would like to understand how t...(展开全部)

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unus...(展开全部)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth centur...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)